From Helios to Zeus
نویسندگان
چکیده
We present Zeus, a verifiable internet ballot casting and counting system based on Helios, in which encrypted votes are posted eponymously to a server, then are anonymized via cryptographic mixing, and finally are decrypted using multiple trustee keys. Zeus refines the original Helios workflow to address a variety of practical issues, such as usability, parallelization, varying election types, and tallying through a separate computing system. In rough numbers, in the first nine months of deployment, Zeus has been used in 60 elections, tallying a total of more than 12000 votes.
منابع مشابه
Traces of Greek Mythology in Samuel Beckett’s Waiting for Godot
This study addresses Samuel Beckett’s most celebrated play, Waiting for Godot, in an effort to analyze its characters from a novel perspective. Since Greek mythology has been undisputedly influential on Western culture and literature, the researcher attempts to investigate a connection between Greek mythology and the play. This study aims to reveal that even after more than fifty seven years of...
متن کاملCoexpression of TIGIT and FCRL3 identifies Helios+ human memory regulatory T cells.
Two distinct subsets of CD4(+)Foxp3(+) regulatory T (Treg) cells have been described based on the differential expression of Helios, a transcription factor of the Ikaros family. Efforts to understand the origin and biological roles of these Treg populations in regulating immune responses have, however, been hindered by the lack of reliable surface markers to distinguish and isolate them for sub...
متن کاملExtending Helios Towards Private Eligibility Verifiability
We show how to extend the Helios voting system to provide eligibility verifiability without revealing who voted which we call private eligibility verifiability. The main idea is that real votes are hidden in a crowd of null votes that are cast by others but are indistinguishable from those of the eligible voter. This extended Helios scheme also improves Helios towards receipt-freeness.
متن کاملGeneration of Helios reporter mice and an evaluation of the suppressive capacity of Helios(+) regulatory T cells in vitro.
Helios is a member of the Ikaros transcription factor family and has been reported to be a marker of thymus-derived regulatory T cells (Treg). Helios is an intracellular protein, however, and hence cannot be used as a marker to separate living Tregs. To solve this problem, we generated Helios reporter mice in which Helios+ cells selectively express Venus, a variant of green fluorescent protein....
متن کاملPhenotypic and Functional Properties of Helios+ Regulatory T Cells
Helios, an Ikaros family transcription factor, is preferentially expressed at the mRNA and protein level in regulatory T cells. Helios expression previously appeared to be restricted to thymic-derived Treg. Consistent with recent data, we show here that Helios expression is inducible in vitro under certain conditions. To understand phenotypic and functional differences between Helios(+) and Hel...
متن کامل